:set prompt "λ> "
